Telelogic TAU - Help - How to use it

Here is some help prepared by Robin Tropper (Winter 2009)

Please refer to the example by Allan Williams from last year.

TAU is capable of compiling an executable simulator from the UML-SDL model you made. To do so, it relies on a 3rd party C/C++ compiler => by consequence, environment settings for the computer must be set appropriately. The end of this e-mail shows an example of settings that allow the TAU model verifier to work correctly on my Windows XP machine.

IMPORTANT: these settings cannot be just copy/pasted into you environment variables. Some thought and understanding must be demonstrated to make it work. You may need to install (on your machine at home) Visual Studio 2005, which is freely available to CEG and SEG students through MSDNAA. => this is not required for the Modeler alone.

Another problem is that the original example used the dot.NET 2.0 platform. Now, 3.5 is available and the folder structure has changed. Moreover, you may need to install both the platform and the SDK for dot.NET 1.1.

In a nutshell, here is how it works: you must provide environment variables to let the operating system know where to find the resources for:
VisualStudio, dot.NET platform, dot.NET SDK, VC, and a few others. These environment variables, which correspond to folders in each resource, are:
PATH (\bin folders)
INCLUDE
LIB

If these variables do not exist (for the user and for the system), then create them and define them "inspired" by these example settings. If they already exist in your system, be sure to NOT REMOVE anything that is already there! Just add or modify this Microsoft Stuff accordingly.

BE SURE not to have any line breaks in any of the settings values.
CAREFUL: some Google searching might suggest you to run the vcvars.exe. I tried this and it did not help. Some things are best dealt with "the hard way".

GOOD LUCK!


INCLUDE=C:\Program Files\Microsoft Visual Studio 8\VC\atlmfc\include;C:\Program Files\Microsoft Visual Studio 8\VC\include;C:\Program Files\Microsoft Visual Studio 8\VC\PlatformSDK\Include;C:\Program Files\Microsoft.NET\SDK\v1.1\include;C:\Program Files\Microsoft Visual Studio 8\VC\vcvarsall.bat;%INCLUDE%

LIB=C:\Program Files\Microsoft Visual Studio 8\VC\atlmfc\lib;C:\Program Files\Microsoft Visual Studio 8\VC\lib;C:\Program Files\Microsoft Visual Studio 8\VC\PlatformSDK\Lib;C:\Program Files\Microsoft.NET\SDK\v1.1\Lib;%LIB%

PATH=C:\Program Files\Microsoft Visual Studio 8\Common7;C:\Program Files\Microsoft Visual Studio 8\Common7\IDE;C:\Program Files\Microsoft Visual Studio 8\VC\bin;